1. Computer aided verification
پدیدآورنده : P. Madhusudan, Sanjit A. Seshia (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses
رده :
QA76
.
76
.
V47
C38
2012eb